Finite model theory - PDFSEARCH.IO - Document Search Engine

Finite model theory
Results: 870

#	Item
71	micro_mod_sell_sheet_outline Add to Reading List Source URL: cloud9fabrics.com Language: English - Date: 2014-01-20 11:43:29 FO Finite model theory
72	Finite Model Reasoning in Horn-SHIQ Yazm´ın Iba˜nez-Garc´ıa1 , Carsten Lutz2 , and Thomas Schneider2 1 KRDB Research Centre, Free Univ. of Bozen-Bolzano, Italy,{} 2 Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2013-09-12 12:16:52 Spectral theory Spectrum Model theory
73	On the Relationship between Consistent Query Answering and Constraint Satisfaction Problems Carsten Lutz1 and Frank Wolter2 1 2 Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2015-06-14 08:17:32 Finite model theory Descriptive complexity Computational complexity theory FO Constraint programming Constraint satisfaction problem Conjunctive query SO HO Theoretical computer science Applied mathematics Complexity classes
74	BRICS RSAceto et al.: Finite Equational Bases in Process Algebra: Results and Open Questions BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-06-12 16:51:01 Boolean algebra Algebraic structures Probability theory Mathematical structures Universal algebra Sigma-algebra Model theory Structure Independence Mathematics Mathematical logic Abstract algebra
75	Automata and Logics for Concurrent Systems: Realizability and Verification Habilitation Thesis Mémoire d’Habilitation à Diriger des Recherches submitted by Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-07-17 03:24:58 Computer science Finite-state machine Model checking Formal verification Nested word Formal methods Automata-based programming Automata theory Theoretical computer science Applied mathematics
76	1998 Paper 3 Question 9 Computation Theory What is meant by saying that a model for computation offers unlimited data storage but is restricted to finite logic? [3 marks] Add to Reading List Source URL: www.cl.cam.ac.uk - Date: 2014-06-09 10:17:21
77	Leonid Libkin Elements of Finite Model Theory With 24 Figures February 7, 2012 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2012-02-22 07:22:36
78	/tmp/scitmpfigure3.eps Add to Reading List Source URL: psychoceramics.labs.crossref.org Language: English - Date: 2014-08-10 13:30:26 FO Finite model theory
79	co m t r e a t fo r o n ol Add to Reading List Source URL: onecharmingparty.com Language: English - Date: 2011-02-28 21:35:16 FO Finite model theory Polaris Award
80	A Formalism for Graph Databases and its Model of Computation Juan Reutter and Tony Tan University of Edinburgh Abstract. Graph databases are directed graphs in which the edges are labeled with symbols from a finite alpha Add to Reading List Source URL: web.ing.puc.cl Language: English - Date: 2013-12-24 11:08:55 Vertex Matching Matroid theory Graph operations Skew-symmetric graph Graph theory Graph Directed graph

UPDATE